{\normalsize
\tolerance=1600
\noindent
The University of Bologna Department of Computer Science Research
Technical Reports are available in PDF and
gzipped PostScript formats via anonymous FTP from the area
{\tt ftp.cs.unibo.it:/pub/TR/UBLCS} or via WWW at URL
{\tt http://www.cs.unibo.it/}.
Plain-text abstracts organized by year are available in the directory
{\tt ABSTRACTS}.
}
{\small
\vskip \baselineskip
\noindent
{\large\bf Recent Titles from the UBLCS Technical Report Series}
\bigskip
\noindent
\begin{enumerate}
%\item[92-1] {\em Mapping Parallel Computations onto Distributed
%    Systems in Paralex}, \"{O}. Babao\u{g}lu, L. Alvisi, A. Amoroso,
%  R. Davoli, January 1992.
%\item[92-2] {\em Parallel Scientific Computing in Distributed Systems:
%    The Paralex Approach}, L. Alvisi, A.  Amoroso, \"{O}.
%  Babao\u{g}lu, A. Baronio, R. Davoli, L. A. Giachini, February
%  1992.
%\item[92-3] {\em Run-time Support for Dynamic Load Balancing,
%    Debugging in Paralex}, \"{O}. Babao\u{g}lu, L. Alvisi, S.
%  Amoroso, R.  Davoli, L. A. Giachini, September 1992.
%\item[92-4] {\em Parallel Computing in Networks of Workstations with
%  Paralex\/}, R.  Davoli, L. A. Giachini, \"{O}. Babao\u{g}lu, S. Amoroso,
%  L. Alvisi, October 1992.
%\item[93-1] {\em Consistent Global States of Distributed Systems:
%    Fundamental Concepts and Mechanism}, \"{O}. Babao\u{g}lu, K.
%  Marzullo, January 1993.
%\item[93-2] {\em Understanding Non-Blocking Atomic Commitment},
%  \"{O}. Babao\u{g}lu, S. Toueg, January 1993.
%\item[93-3] {\em Anchors and Paths in a Hypertext Publishing System},
%  C. Maioli, F. Vitali, February 1993.
%\item[93-4] {\em A Formalization of Priority Inversion}, \"{O}.
%  Babao\u{g}lu, K. Marzullo, F. Schneider, March 1993.
%\item[93-5] {\em Some Modifications to the Dexter Model for the Formal
%    Description of Hypertexts\/}, S. Lamberti, C. Maioli, F.
%  Vitali, April 1993.
%\item[93-6] {\em Versioning Issues in a Collaborative Distributed
%    Hypertext System\/}, C. Maioli, S. Sola, F. Vitali, April
%  1993.
%\item[93-7] {\em Distributed Programming with Logic Tuple Spaces\/},
%  P. Ciancarini, April 1993.
%\item[93-8] {\em Coordinating Rule-Based Software Processes with
%    ESP\/}, P. Ciancarini, April 1993.
%\item[93-9] {\em What is Logic Programming good for in Software
%    Engineering?\/}, P. Ciancarini, G. Levi, April 1993.
%\item[93-10] {\em Scheduling Real Time Tasks: A Performance Study\/},
%  F. Panzieri, L. Donatiello, L. Poretti, May 1993.
%\item[93-11] {\em Specification and Verification of Dynamic Properties in
%  Distributed Computations\/}, \"{O}. Babao\u{g}lu, M.
%  Raynal, May 1993.
%\item[93-12] {\em Interaction Systems II: The Practice of Optimal
%    Reductions\/}, A. Asperti, C. Laneve, May 1993.
%\item[93-13] {\em Reliability Analysis of Tree-Based Structures and
%    its Application to Fault-Tolerant VLSI Systems\/}, M. Roccetti,
%  June 1993.
%\item[93-14] {\em Guard Compilation in Logic Shared Dataspace
%    Languages\/}, M. Gaspari, June 1993.
%\item[93-15] {\em Data Algorithm: A Numerical Method to Extract Shape
%    Information from Gray Scale Images\/}, R. Davoli, F.
%  Tamburini, June 1993.
%\item[93-16] {\em Towards Performance Evaluation in Process
%    Algebras\/}, R. Gorrieri, M. Roccetti, July 1993.
%\item[93-17] {\em Split and ST Bisimulation Semantics\/}, R.
%  Gorrieri, C. Laneve, July 1993.
%\item[93-18] {\em Multilanguage Interoperability\/}, G. Attardi,
%  M.  Gaspari, July 1993.
%\item[93-19] {\em HERMES: an Expert System for the Prognosis of
%    Hepatic Diseases\/}, I. Bonf\`a, C. Maioli, F. Sarti, G.L.
%  Milandri, P.R. Dal Monte, September 1993.
%\item[93-20] {\em An Information Flow Security Property for CCS\/},
%  R. Focardi, R. Gorrieri, October 1993.
%\item[93-21] {\em A Classification of Security Properties\/}, R.
%  Focardi, R. Gorrieri, October 1993.
%\item[93-22] {\em Real Time Systems: A Tutorial\/}, F. Panzieri,
%  R.  Davoli, October 1993.
%\item[93-23] {\em A Scalable Architecture for Reliable Distributed
%    Multimedia Applications\/}, F. Panzieri, M. Roccetti,
%  October 1993.
%\item[93-24] {\em Wide-Area Distribution Issues in Hypertext
%    Systems\/}, C. Maioli, S. Sola, F. Vitali, October 1993.
%\item[93-25] {\em On Relating Some Models for Concurrency\/}, P.
%  Degano, R. Gorrieri, S. Vigna, October 1993.
%\item[93-26] {\em Axiomatising ST Bisimulation Equivalence\/}, N.
%  Busi, R. van Glabbeek, R. Gorrieri, December 1993.
%\item[93-27] {\em A Theory of Processes with Durational Actions\/},
%  R. Gorrieri, M. Roccetti, E. Stancampiano, December 1993.
%\item[94-1] {\em Further Modifications to the Dexter Hypertext
%    Reference Model: a Proposal\/}, W. Penzo, S. Sola, F. Vitali,
%  January 1994.
%\item[94-2] {\em Symbol-Level Requirements for Agent-Level
%    Programming\/}, M. Gaspari, E. Motta, February 1994.
%\item[94-3] {\em Extending Prolog with Data Driven Rules\/}, M.
%  Gaspari, February 1994.
%\item[94-4] {\em Schedulability Checking of Data Flow Tasks in
%    Hard-Real-Time Distributed Systems\/}, R. Davoli, L. A. Giachini,
%  March 1994.
%\item[94-5] {\em A Shared Dataspace Language and its Compilation\/},
%  M. Gaspari, March 1994.
%\item[94-6] {\em Exploring the Coordination Space with LO\/}, S.
%  Castellani, P. Ciancarini, April 1994.
%\item[94-7] {\em Comparative Semantics of LO\/}, S.  Castellani, P.
%  Ciancarini, April 1994.
%\item[94-8] {\em Distributed Conflicts in Communicating Systems\/}, N. Busi,
%  R. Gorrieri, April 1994 (Revised February 1995).
%\item[94-9] {\em Pseudopolar Array Mask Algorithm for Spherical
%    Coordinate Grid Surfaces\/}, A. Amoroso, G. Casciola, May 1994.
%\item[94-10] {\em MPA: a Stochastic Process Algebra\/}, M. Bernardo,
%  L. Donatiello, R. Gorrieri, May 1994.
%\item[94-11] {\em Describing Queueing Systems with MPA\/}, M.
%  Bernardo, L. Donatiello, R. Gorrieri, May 1994.
%\item[94-12] {\em Operational GSPN Semantics of MPA\/}, M. Bernardo,
%  L. Donatiello, R. Gorrieri, May 1994.
%\item[94-13] {\em Experiments in Distributing and Coordinating
%    Knowledge\/}, P. Ciancarini, May 1994.
%\item[94-14] {\em A Comparison of Parallel Search Algorithms Based on
%    Tree Splitting\/}, P. Ciancarini, May 1994.
%\item[94-15] {\sc Relacs\/}: {\em A Communications Infrastructure for
%    Constructing Reliable Applications in Large-Scale Distributed
%    Systems\/}, \"{O}. Babao\u{g}lu, M.G. Baker, R. Davoli, L.A.
%  Giachini, June 1994.
%\item[94-16] {\em Replicated File Management in Large-Scale
%    Distributed Systems\/}, \"{O}. Babao\u{g}lu, A. Bartoli, G. Dini,
%  June 1994.
%\item[94-17] {\em Parallel Symbolic Computing with the Shared
%    Dataspace Coordination Model\/}, P. Ciancarini, M. Gaspari, July
%  1994.
%\item[94-18] {\em An Algorithmic Method to Build Good Training Sets
%    for Neural-Network Classifiers\/}, F. Tamburini, R. Davoli, July
%  1994.
%\item[94-19] {\em On Group Communication in Large-Scale Distributed
%    Systems\/}, \"{O}. Babao\u{g}lu, A. Schiper, July 1994.
%\item[94-20] {\em Dynamic Allocation of Signature Files in
%    Multiple-Disk Systems\/}, P. Ciaccia, August 1994.
%\item[94-21] {\em Parallel Independent Grid Files Based on a Dynamic
%    Declustering Method Using Multiple Error Correcting Codes\/}, P.
%  Ciaccia, November 1994.
%\item[95-1] {\em Performance Preorder and Competitive Equivalence\/},
%  F. Corradini, R. Gorrieri, M. Roccetti, January 1995 (Revised December
%  1995).
%\item[95-2] {\em Clepsydra Methodology\/}, P. Ciaccia, O. Ciancarini,
%  W. Penzo, January 1995.
%\item[95-3] {\em A Unified Framework for the Specification and Run-time
%  Detection of Dynamic Properties in Distributed Computations\/},
%  \"{O}. Babao\u{g}lu, E. Fromentin, M. Raynal, January 1995 (Revised
%  February 1995).
%\item[95-4] {\em Effective Applicative Structures\/}, A. Asperti, A.
%  Ciabattoni, January 1995.
%\item[95-5] {\em An Open Framework for Cooperative Problem Solving\/},
%  M. Gaspari, E. Motta, A. Stutt, February 1995.
%\item[95-6] {\em Considering New Guidelines in Group Interface Design:
%    a Group-Friendly Interface for the CHAOS System\/}, D. Bottura,
%  C. Maioli, S. Mangiaracina, February 1995.
%\item[95-7] {\em Modelling Interaction in Agent Systems\/}, A.
%  Dalmonte, M. Gaspari, February 1995.
%\item[95-8] {\em Building Hypermedia for Learning: a Framework Based
%     on the Design of User Interface\/}, S. Mangiaracina, C. Maioli,
%   February 1995.
%\item[95-9] {\em The Bologna Optimal Higher-Order Machine\/}, A.
%  Asperti, C. Giovannetti, A. Naletto, March 1995.
%\item[95-10] {\em Synchronization Support and Group-Membership
%    Services for Reliable Distributed Multimedia Applications\/}, F.
%  Panzieri, M. Roccetti, March 1995 (Revised July 1995).
%\item[95-11] {\em The Inherent Cost of Strong-Partial View-Synchronous
%    Communication\/}, \"{O}. Babao\u{g}lu, R. Davoli, L.-A. Giachini,
%  P. Sabattini, April 1995.
%\item[95-12] {\em On the Complexity of Beta-Reduction\/}, A. Asperti,
%  July 1995.
%\item[95-13] {\em Optimal Multi-Block Read Schedules for Partitioned
%    Signature Files\/}, P. Ciaccia, August 1995.
%\item[95-14] {\em Integrating Performance and Functional Analysis of
%    Concurrent Systems with EMPA\/}, M. Bernardo, L. Donatiello, R.
%  Gorrieri, September 1995 (Revised March 1996).
%\item[95-15] {\em On Programming with View Synchrony\/}, \"{O}.
%  Babao\u{g}lu, A. Bartoli, G. Dini, September 1995.
%\item[95-16] {\em Generative Communication in Process Algebra\/}, P.
%  Ciancarini, R. Gorrieri, G. Zavattaro, October 1995.
%\item[95-17] {\em Dynamic Declustering Methods for Parallel Grid
%    Files\/}, P. Ciaccia, A. Veronesi, November 1995.
%\item[95-18] {\em Group Membership and View Synchrony in Partitionable
%    Asynchronous Distributed Systems: Specifications\/}, \"{O}.
%  Babao\u{g}lu, R. Davoli, A. Montresor, November 1995 (Revised
%  September 1996).
%\item[96-1] {\em An Investigation on the Optimal Implementation of
%    Processes\/}, C. Laneve, January 1996.
%\item[96-2] {\em Expansivity, Permutivity, and Chaos for Cellular
%    Automata\/}, F. Fagnani, L. Margara, January 1996.
%\item[96-3] {\em Enriched View Synchrony: A Paradigm for Programming
%    Dependable Applications in Partitionable Asynchronous Distributed
%    Systems\/}, \"{O}. Babao\u{g}lu, A. Bartoli, G. Dini, February
%  1996 (Revised November 1996).
%\item[96-4] {\em May and Must Testing in the Join-Calculus\/}, C.
%  Laneve, March 1996.
%\item[96-5] {\em The Shape of Shade: a Coordination System\/}, S.
%  Castellani, P. Ciancarini, D. Rossi, March 1996.
%\item[96-6] {\em Engineering Formal Requirements: an Analysis and
%    Testing Method for Z Documents\/}, P. Ciancarini, S. Cimato, C.
%  Mascolo, March 1996.
%\item[96-7] {\em Using Bayesian Belief Networks for the Automated
%    Assessment of Students' Knowledge of Geometry Problem Solving
%    Procedures\/}, M. Roccetti, P. Salomoni, March 1996 (Revised March
%    1997).
%\item[96-8] {\em Virtual Interactions: An Investigation of the
%    Dynamics of Sharing Graphs\/}, A. Asperti, C. Laneve, April 1996.
%\item[96-9] {\em Towards an Algebra of Actors\/}, M. Gaspari, April
%  1996.
%\item[96-10] {\em Mobile Petri Nets\/}, A. Asperti, N. Busi, May 1996.
%\item[96-11] {\em Communication Support for Critical Distributed
%    Multimedia Applications: an Experimental Study\/}, F. Panzieri, M.
%  Roccetti, May 1996.
%\item[96-12] {\em A Logic Coordination Language Based on the Chemical
%    Metaphor\/}, P. Ciancarini, D. Fogli, M. Gaspari, July 1996.
%\item[96-13] {\em Towards Parallelization of Concurrent Systems\/},
%    F. Corradini, R. Gorrieri, D. Marchignoli, August 1996
%    (Revised December 1996).
%\item[96-14] {\em The Compositional Security Checker: A Tool for the
%    Verification of Information Flow Security Properties\/}, R.
%  Focardi, R. Gorrieri, August 1996.
%\item[96-15] {\em Jada: a Coordination Toolkit for Java\/}, P.
%  Ciancarini, D. Rossi, October 1996.
%\item[96-16] {\em Fault Tolerance through View Synchrony in
%    Partitionable Asynchronous Distributed Systems\/}, A. Montresor,
%  December 1996.
%\item[96-17] {\em A Tutorial on EMPA: A Theory of Concurrent Processes
%    with Nondeterminism, Priorities, Probabilities and Time\/}, M.
%  Bernardo, R. Gorrieri, December 1996 (Revised January 1997).
%\item[97-1] {\em Partitionable Group Membership: Specification and
%    Algorithms\/}, \"{O}.  Babao\u{g}lu, R. Davoli, A. Montresor,
%  January 1997.
%\item[97-2] {\em A Truly Concurrent View of Linda Interprocess
%    Communication\/}, N. Busi, R. Gorrieri, G. Zavattaro, February
%  1997.
%\item[97-3] {\em Knowledge-Level Speech Acts\/}, M. Gaspari, March 1997.
%\item[97-4] {\em An Algebra of Actors\/}, M. Gaspari, G. Zavattaro,
%  May 1997.
%\item[97-5] {\em On the Turing Equivalence of Linda Coordination
%    Primitives\/}, N. Busi, R. Gorrieri, G. Zavattaro, May 1997
%    (Revised October 1998).
%\item[97-6] {\em A Process Algebraic View of Linda Coordination
%    Primitives\/}, N. Busi, R. Gorrieri, G. Zavattaro, May 1997.
%\item[97-7] {\em Validating a Software Architecture with respect to an
%    Architectural Style\/}, P. Ciancarini, W. Penzo, July 1997.
%\item[97-8] {\em System Support for Partition-Aware Network
%    Applications\/}, \"{O}. Babaoglu, R. Davoli, A. Montresor, R.
%  Segala, October 1997 (Revised November 1999).
%\item[97-9] {\em Generalized Semi-Markovian Process Algebra\/}, M.
%  Bravetti, M. Bernardo, R. Gorrieri, October 1997.
%\item[98-1] {\em Group Communication in Partitionable Systems:
%    Specification and Algorithms\/}, \"{O}.  Babao\u{g}lu, R. Davoli,
%  A. Montresor, April 1998 (Revised October 1999).
%\item[98-2] {\em A Catalog of Architectural Styles for Mobility}, P.
%  Ciancarini, C. Mascolo, April 1998.
%\item[98-3] {\em Comparing Three Semantics for Linda-like
%    Languages\/}, N. Busi, R. Gorrieri, G. Zavattaro, May 1998.
%\item[98-4] {\em Design and Experimental Evaluation of an Adaptive
%    Playout Delay Control Mechanism for Packetized Audio for use over
%    the Internet\/}, M. Roccetti, V. Ghini, P. Salomoni, M.E.
%  Bonfigli, G. Pau, May 1998 (Revised November 1998).
%\item[98-5] {\em Analysis of MetaRing: a Real-Time Protocol for
%    Metropolitan Area Network\/}, M. Conti, L. Donatiello, M. Furini,
%  May 1998.
%\item[98-6] {\em GSMPA: A Core Calculus With Generally Distributed
%    Durations}, M. Bravetti, M. Bernardo, R. Gorrieri, June 1998.
%\item[98-7] {\em A Communication Architecture for Critical Distributed
%    Multimedia Applications: Design, Implementation, and Evaluation},
%  F. Panzieri, M. Roccetti, June 1998.
%\item[98-8] {\em Formal Specification of Performance Measures for
%    Process Algebra Models of Concurrent Systems}, M. Bernardo, June
%  1998 (Revised December 1999).
%\item[98-9] {\em Formal Performance Modeling and Evaluation of an
%    Adaptive Mechanism for Packetized Audio over the Internet}, M.
%  Bernardo, R. Gorrieri, M. Roccetti, June 1998.
%\item[98-10] {\em Value Passing in Stochastically Timed Process
%    Algebras: A Symbolic Approach based on Lookahead}, M. Bernardo,
%  June 1998.
%\item[98-11] {\em Structuring Sub-Populations in Parallel Genetic
%    Algorithms for MPP}, R. Gaioni, R. Davoli, June 1998.
%\item[98-12] {\em The Jgroup Reliable Distributed Object Model},
%  A. Montresor, December 1998 (Revised March 1999).
%\item[99-1] {\em Deciding and Axiomatizing ST Bisimulation for a
%    Process Algebra with Recursion and Action Refinement}, M.
%  Bravetti, R. Gorrieri, February 1999.
%\item[99-2] {\em A Theory of Efficiency for Markovian Processes}, M.
%  Bernardo, W.R. Cleaveland, February 1999 (Revisied March 2000).
%\item[99-3] {\em A Reliable Registry for the Jgroup Distributed Object
%  Model}, A. Montresor, March 1999.
%\item[99-4] {\em Comparing the QoS of Internet Audio Mechanisms via
%    Formal Methods}, A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti,
%  March 1999.
%\item[99-5] {\em Group-Enhanced Remote Method Invocations}, A.
%  Montresor, R. Davoli, \"{O}.  Babao\u{g}lu, April 1999.
%\item[99-6] {\em Managing Complex Documents Over the WWW: a Case Study
%    for XML}, P. Ciancarini, F. Vitali, C. Mascolo, April 1999.
%\item[99-7] {\em Data-Flow Hard Real-Time Programs: Scheduling
%    Processors and Communication Channels in a Distributed
%    Environment}, R. Davoli, F. Tamburini, April 1999.
%\item[99-8] {\em The MPS Computer System Simulator}, M. Morsiani, R.
%  Davoli, April 1999.
%\item[99-9] {\em Action Refinement}, R. Gorrieri, A. Rensink, April
%  1999.
%\item[99-10] {\em Proceedings of the Workshop on Virtual Documents,
%    Hypertext Functionality and the Web}, M. Milosavljevic, F. Vitali,
%  C. Watters, May 1999.
%\item[99-11] {\em An Algebraic Model for Evaluating the Performance of
%    an ATM Switch with Explicit Rate Marking}, A. Aldini, M. Bernardo,
%  R. Gorrieri, June 1999.
%\item[99-12] {\em Simulative and Experimental Analysis of an Adaptive
%    Playout Delay Adjustment Mechanism for packetized Voice across the
%    Internet}, M. Roccetti, V. Ghini e G. Pau, June 1999.
%\item[99-13] {\em Theory and Application of Extended Markovian Process
%    Algebra (PhD Thesis)}, Bernardo, M., July 1999.
%\item[99-14] {\em A Methodology for the Specification of Java
%    Components and Architectures (PhD Thesis)}, Cimato, S., July 1999.
%\item[99-15] {\em Parallel Discrete Event Simulation Supported by
%    Coordination Languages Based on the Generative Paradigm (PhD
%    Thesis)}, Fabbri, A., July 1999.
%\item[99-16] {\em Analysis and Automatic Detection of Information
%    Flows in Systems and Networks (PhD Thesis)}, Focardi, R., July
%  1999.
%\item[99-17] {\em A Simple Game Semantics Model of Concurrency},
%  Asperti A., Finelli M., Franco G., Marchignoli D., July 1999.
%\item[99-18] {\em A Complete Axiomatization for Observational
%    Congruence of Prioritized Finite-State Behaviors}, Bravetti, M.,
%  Gorrieri, R., July 1999.
%\item[99-19] {\em Middleware for Dependable Network Services in
%    Partitionable Distributed Systems}, A.  Montresor, R. Davoli, O.
%  Babaoglu, October 1999 (Revised April 2000).
%\item[99-20] {\em Performance Analysis of Software Architectures via a
%    Process Algebraic Description Language}, Bernardo, M., Ciancarini,
%  P., Donatiello, L., November 1999 (Revised March 2000).
%\item[99-21] {\em Real-Time Traffic Transmission Over the Internet},
%  Furini, M., Towsley, D., November 1999.
%\item[99-22] {\em On the Expressiveness of Event Notification in
%    Data-Driven Coordination Languages}, Busi, N., Zavattaro, G.,
%  December 1999.
%\item[2000-1] {\em Compositional Asymmetric Cooperations for Process
%    Algebras with Probabilities, Priorities, and Time}, Bravetti, M.,
%  Bernardo, M., January 2000 (Revised February 2000).
%\item[2000-2] {\em Compact Net Semantics for Process Algebras},
%  Bernardo, M., Busi, N., Ribaudo, M., March 2000 (Revised December 2000).
%\item[2000-3] {\em An Asynchronous Calculus for Generative-Reactive
%    Probabilistic Systems}, Aldini, A., Bravetti, M., May 2000
%    (Revised September 2000).
%\item[2000-4] {\em On Securing Real-Time Speech Transmission over the
%    Internet}, Aldini, Bragadini, Gorrieri, Roccetti, May 2000.
%\item[2000-5] {\em On the Expressiveness of Distributed Leasing in
%    Linda-like Coordination Languages}, Busi, N., Gorrieri, R.,
%  Zavattaro, G., May 2000.
%\item[2000-6] {\em A Type System for JVM Threads}, Bigliardi, G.,
%  Laneve, C., June 2000.
%\item[2000-7] {\em Client-centered Load Distribution: a Mechanism for
%    Constructing Responsive Web Services}, Ghini, V., Panzieri, F.,
%  Roccetti, M., June 2000.
%\item[2000-8] {\em Design and Analysis of RT-Ring: a Protocol for
%    Supporting Real-time Communications}, Conti, M., Donatiello, L.,
%  Furini, M., June 2000.
%\item[2000-9] {\em Performance Evaluation of Data Locality
%    Exploitation} (PhD Thesis), D'Alberto, P., July 2000.
%\item[2000-10] {\em System Support for Programming Object-Oriented
%    Dependable Applications in Partitionable Systems} (PhD Thesis),
%    Montresor, A., July 2000.
%\item[2000-11] {\em Coordination: An Enabling Technology for the
%    Internet} (PhD Thesis), Rossi, D., July 2000.
%\item[2000-12] {\em Coordination Models and Languages: Semantics and
%    Expressiveness} (PhD Thesis), Zavattaro, G., July 2000.
%\item[2000-13] {\em Jgroup Tutorial and Programmer's Manual},
%  Montresor, A., October 2000.
%\item[2000-14] {\em A Declarative Language for Parallel Programming},
%  Gaspari, M., October 2000.
%\item[2000-15] {\em An Adaptive Mechanism for Securing Real-time
%    Speech Transmission over the Internet}, Aldini, A., Gorrieri, R.,
%  Roccetti, M., November 2000.
%\item[2000-16] {\em Enhancing Jini with Group Communication},
%  Montresor, A., Babaoglu, O., Davoli, R., December 2000 (Revised
%  January 2001).
%\item[2000-17] {\em Online Reconfiguration in Replicated Databases
%    Based on Group Communication}, Kemme, B., Bartoli, A., Babaoglu,
%  O., December 2000 (Revised March 2001).
%\item[2001-1] {\em Design and Analysis of Protocols and Resources
%    Allocation Mechanisms for Real-Time Applications} (Ph.D. Thesis),
%  Furini, M., January 2001.
% \item[2001-2] {\em Formalization, Analysis and Prototyping of Mobile
%     Code Systems} (Ph.D. Thesis), Mascolo, C., Janaury 2001.
% \item[2001-3] {\em Nature-Inspired Search Techniques for Combinatorial
%     Optimization Problems} (Ph.D. Thesis), Rossi, C., Janaury 2001.
% \item[2001-4] {\em Desktop 3d Interfaces for Internet Users:
%     Efficiency and Usability Issues} (Ph.D. Thesis), Pittarello, F.,
%   January 2001.
% \item[2001-5] {\em An Expert System for the Evaluation of EDSS in
%     Multiple Sclerosis}, Gaspari, M., Roveda, G., Scandellari, C.,
%   Stecchi, S., February 2001.
% \item[2001-6] {\em Probabilistic Information Flow in a Process
%     Algebra}, Aldini, A., April 2001 (Revised September 2001).
% \item[2001-7] {\em Architecting Software Systems with Process
%     Algebras}, Bernardo, M., Ciancarini, P., Donatiello, L., July
%   2001.
% \item[2001-8] {\em Non-determinism in Probabilistic Timed Systems with
%     General Distributions}, Aldini, A., Bravetti, M., July 2001.
% \item[2001-9] {\em Anthill: A Framework for the Development of
%     Agent-Based Peer-to-Peer Systems}, Babaoglu, O., Meling, H.,
%   Montresor, A., November 2001 (Revised September 2002).
%\item[2002-1] {\em A Timed Join Calculus}, B\"{u}nzli, D. C., Laneve,
%  C., February 2002.
%\item[2002-2] {\em A Process Algebraic Approach for the Analysis of
%    Probabilistic Non-interference}, Aldini, A., Bravetti, M.,
%  Gorrieri, R., March 2002.
%\item[2002-3] {\em Quality of Service and Resources` Optimization in
%    Wireless Networks with Mobile Hosts} (Ph.D Thesis), Bononi, L.,
%  March 2002.
%\item[2002-4] {\em Specification and Analysis of Stochastic Real-Time
%    Systems} (Ph.D. Thesis), Bravetti, M., March 2002.
%\item[2002-5] {\em QoS-Adaptive Middleware Services} (Ph.D. Thesis),
%  Ghini, V., March 2002.
%\item[2002-6] {\em Towards a Semantic Web for Formal Mathematics}
%  (Ph.D. Thesis), Schena, I., March 2002.
%\item[2002-7] {\em Revisiting Interactive Markov Chains}, Bravetti,
%  M., June 2002.
%\item[2002-8] {\em User Untraceability in the Next-Generation
%    Internet: a Proposal}, Tortonesi, M., Davoli, R., August 2002.
%\item[2002-9] {\em Towards Adaptive, Resilient and Self-Organizing
%    Peer-to-Peer Systems}, Montresor, A., Meling, H., Babaoglu, O.,
%  September 2002.
%\item[2002-10] {\em Towards Self-Organizing, Self-Repairing and
%    Resilient Distributed Systems}, Montresor, A.,
%  Babaoglu, O., Meling, H., September 2002 (Revised November 2002).
%\item[2002-11] {\em Messor: Load-Balancing through a Swarm of
%    Autonomous Agents}, Montresor, A., Meling, H., Babaoglu, O.,
%  September 2002.
%\item[2002-12] {\em Johanna: Open Collaborative Technologies for
%    Teleorganizations}, Gaspari, M., Picci, L., Petrucci, A.,
%  Faglioni, G., December 2002.
%\item[2003-1] {\em Security and Performance Analyses in Distributed
%    Systems (Ph.D Thesis)}, Aldini, A., February 2003.
%\item[2003-2] {\em Models and Types for Wide Area Computing.  The calculus
%    of Boxed Ambients (Ph.D. Thesis)}, Crafa, S., February 2003.
%\item[2003-3] {\em MathML Formatting (Ph.D. Thesis)}, Padovani, L.,
%  February 2003.
%\item[2003-4] {\em Performance Evaluation of Mobile Agents Paradigm for
%    Wireless Networks (Ph.D. Thesis)}, Al Mobaideen, W., March 2003.
%\item[2003-5] {\em Synchronized Hypermedia Documents: a Model and its
%    Applications (Ph.D. Thesis)}, Gaggi, O., March 2003.
%\item[2003-6] {\em Searching and Retrieving in Content-Based Repositories
%    of Formal Mathematical Knowledge (Ph.D. Thesis)}, Guidi, F., March
%  2003.
%\item[2003-7] {\em Intersection Types, Lambda Abstraction Algebras and
%    Lambda Theories (Ph.D. Thesis)}, Lusin, S., March 2003.
%\item[2003-8] {\em Towards an Ontology-Guided Search Engine}, Gaspari, M.,
%    Guidi, D., June 2003.
%\item[2003-9] {\em An Object Based Algebra for Specifying A Fault Tolerant
%    Software Architecture}, Dragoni, N., Gaspari, M., June 2003.
%\item[2003-10] {\em A Scalable Architecture for Responsive Auction
%    Services Over the Internet}, Amoroso, A., Fanzieri F., June 2003.
%\item[2003-11] {\em WSSecSpaces: a Secure Data-Driven Coordination Service for
%    Web Services Applications}, Lucchi, R., Zavattaro, G., September 2003.
%\item[2003-12] {\em Integrating Agent Communication Languages in Open Services
%    Architectures}, Dragoni, N., Gaspari, M., October 2003.
%\item[2003-13] {\em Perfect load balancing on anonymous trees}, Margara, L.,
%    Pistocchi, A., Vassura, M., October 2003.
%\item[2003-14] {\em Towards Secure Epidemics: Detection and Removal of
%    Malicious Peers in Epidemic-Style Protocols}, Jelasity, M.,
%    Montresor, A., Babaoglu, O., November 2003.
%\item[2003-15] {\em Gossip-based Unstructured Overlay Networks: An
%    Experimental Evaluation}, Jelasity, M., Guerraoui, R., Kermarrec,
%    A-M., van Steen, M., December 2003.
%\item[2003-16] {\em Robust Aggregation Protocols for Large-Scale Overlay
%    Networks}, Montresor, A., Jelasity, M., Babaoglu, O., December 2003.
%\item[2004-1] {\em A Reliable Protocol for Synchronous Rendezvous (Note)},
%      Wischik, L.,  Wischik, D., February 2004.
%\item[2004-2] {\em Design and evaluation of a migration-based architecture for
%    massively populated Internet Games}, Gardenghi, L., Pifferi, S.,
%    D'Angelo, G., March 2004.
%\item[2004-3] {\em Security, Probability and Priority in the tuple-space
%   Coordination Model (Ph.D. Thesis)}, Lucchi, R., March 2004.
%\item[2004-4] {\em A New Graph-theoretic Approach to Clustering, with
%   Applications to Computer Vision (Ph.D Thesis)}, Pavan., M., March 2004.
%\item[2004-5] {\em Knowledge Management of Formal Mathematics and Interactive
%   Theorem Proving (Ph.D. Thesis)}, Sacerdoti Coen, C., March 2004.
%\item[2004-6] {\em An architecture for Content Distribution Internetworking
%   (Ph.D. Thesis)}, Turrini, E., March 2004.
%\item[2004-7] {\em T-Man: Fast Gossip-based Construction of Large-Scale
%   Overlay Topologies}, Jelasity, M., Babaoglu, O., May 2004.
%\item[2004-8] {\em A Robust Protocol for Building Superpeer Overlay
%  Topologies}, Montresor, A., May 2004.
%\item[2004-9] {\em A Unified Approach to Structured, Semistructured and
%   Unstructured Data}, Magnani, M., Montesi, D., May 2004.
%\item[2004-10] {\em Exact Methods Based on Node Routing Formulations for Arc
%   Routing Problems}, Baldacci, R., Maniezzo, V., June 2004.
%\item[2004-11] {\em Mapping XQuery to Algebraic Expressions}, Magnani, M.,
%   Montesi, D., June 2004.
%\item[2004-12] {\em VDE: Virtual Distributed Ethernet}, Davoli, R., June 2004.
%\item[2004-13] {\em SchemaPath: Extending XML Schema for Co-Constraints},
%   Marinelli, P., Sacerdoti Coen, C., Vitali, F., June 2004.
%\item[2004-14] {\em Intelligent Web Servers as Agents}, Gaspari, M.,
%   Dragoni, N. Guidi, D., July 2004.
%\item[2004-15] {\em SIR: a Model of Social Reputation}, Mezzetti, N.,
%   October 2004.
%\item[2004-16] {\em Algorithms for Large Directed CARP Instances:
%   Urban Solid Waste Collection Operational Support}, Maniezzo, V.,
%   October 2004.
%\item[2004-17] {\em Supporting e-Commerce Systems Formalization with
%   Choreography Languages}, Bravetti, M., Guidi, C., Lucchi, R.,
%   Zavattaro, G., November 2004.
%\item[2004-18] {\em Decentralized Ranking in Large-Scale Overlay Networks},
%  Montresor, A., Jelasity, M., Babaoglu, O., December 2004.
%\item[2004-19] {\em Advanced Collective Communication in WDM Optical Rings},
%  Margara, L., Simon, J., Vassura, V., December 2004.
%\item[2005-1] {\em ARTIS: Design and Implementation of an Adaptive
%  Middleware for Parallel and Distributed Simulation (Ph.D. Thesis)},
%  D'Angelo, G., March 2005.
%\item[2005-2] {\em Analysis and Prototype of a Metamodeling Environment for
%  Engineering Grid Services (Ph.D. Thesis)}, Moretti, R., March 2005.
%\item[2005-3] {\em On some combinatorial optimization problems arising from
%  computer networks (Ph.D. Thesis)}, Vassura, M., March 2005.
%\item[2005-4] {\em Experiences with Synthetic Network Emulation for Complex
%  IP based Networks (Ph.D. Thesis)}, Cacciaguerra, S., March 2005.
%\item[2005-5] {\em Interactivity Maintenance for Event Synchronization in
%  Massive Multiplayer Online Games (Ph.D. Thesis)}, Ferretti, S., March 2005.
%\item[2005-6] {\em Reasoning with preferences over temporal, uncertain, and
%  conditional statements (Ph.D. Thesis)}, Venable, K. B., March 2005.
%\item[2005-7] {\em Whole Platform (Ph.D. Thesis)}, Solmi, R., March 2005.
%\item[2005-8] {\em Loss Functions and Structured Domains for Support 
%  Vector Machines (Ph.D. Thesis)}, Portera, F., March 2005.
%\item[2005-9] {\em A Reasoning Infrastructure to Support Cooperation of
%  Intelligent Agents on the Semantic Grid}, Dragoni, N., Gaspari, M.,
%  Guidi, D., April 2005.
%\item[2005-10] {\em Fault Tolerant Knowledge Level Communication in Open
%  Asynchronous Multi-Agent Systems}, Dragoni, N.,  Gaspari, M., April 2005.
%\item[2005-11] {\em The AEDSS Application Ontology: Enhanced Automatic
%  Assessment of EDSS in Multiple Sclerosis}, Gaspari, M., Saletti, N.,
%  Scandellari, C., Stecchi, S., April 2005.
%\item[2005-12] {\em How to cheat BitTorrent and why nobody does},
%  Hales, D., Patarin, S., May 2005.
%\item[2005-13] {\em Choose Your Tribe! - Evolution at the Next Level in a
%  Peer-to-Peer network}, Hales, D., May 2005.
%\item[2005-14] {\em Knowledge-Based Jobs and the Boundaries of Firms:
%  Agent-based simulation of Firms Learning and Workforce Skill Set Dynamics},
%  Mollona, E., Hales, D., June 2005.
%\item[2005-15] {\em Tag-Based Cooperation in Peer-to-Peer Networks with
%  Newscast}, Marcozzi, A., Hales, D., Jesi, G., Arteconi, S.,
%  Babaoglu, O., June 2005.
%\item[2005-16] {\em Atomic Commit and Negotiation in Service Oriented
%  Computing}, Bocchi, L., Ciancarini, P., Lucchi, R., June 2005.
%\item[2005-17] {\em Efficient and Robust Fully Distributed Power Method
%  with an Application to Link Analysis}, Canright, G., Engo-Monsen, K.,
%  Jelasity, M., September 2005.
%\item[2005-18] {\em On Computing the Topological Entropy of One-sided
%  Cellular Automata}, Di Lena, P.,  September 2005.
%\item[2005-19] {\em A model for imperfect XML data based on
%  Dempster-Shafer's theory of evidence}, Magnani, M.,  Montesi, D.,
%  September 2005.
%\item[2005-20] {\em riends for Free: Self-Organizing Artificial Social
%  Networks for Trust and Cooperation}, Hales, D., Arteconi, S., November
%  2005.
%\item[2005-21] {\em Greedy Cheating Liars and the Fools Who Believe Them},
%  Arteconi, S., Hales, D., Babaoglu, O., December 2005 (Revised March 2007).
%\item[2006-01] {\em Lambda-Types on the Lambda-Calculus with Abbreviations:
%  a Certified Specification}, Guidi, F., January 2006.
%\item[2006-02] {\em On the Quality-Based Evaluation and 
%  Selection of Grid Services (PhD Thesis)}, Andreozzi, S., April 2006.
%\item[2006-03] {\em Transactional Aspects in Coordination 
%  and Composition of Web Services (PhD Thesis)}, Bocchi, L., April 2006.
%\item[2006-04] {\em Semantic Frameworks for Implicit 
%  Computational Complexity (PhD Thesis)}, dal Lago, U., April 2006.
%\item[2006-05] {\em Fault Tolerant Knowledge Level Inter-Agent 
%  Communication in Open Multi-Agent Systems (PhD Thesis)},
%  Dragoni, N., April 2006.
%\item[2006-06] {\em Middleware Services for Dynamic 
%  Clustering of Application Servers (PhD Thesis)}, Lodi, G., April 2006.
%\item[2006-07] {\em Meta Model Management for (Semi) Structured 
%  and Uncertain Models (PhD Thesis)}, Magnani, M., April 2006.
%\item[2006-08] {\em Towards Abstractions for Web Services
%  Composition (PhD Thesis)}, Mazzara, M., April 2006.
%\item[2006-09] {\em Global Computing: an Analysis of Trust and Wireless 
%  Communications (PhD Thesis)}, Mezzetti, N., April 2006.
%\item[2006-10] {\em Fast and Fair Event Delivery in Large Scale Online
%  Games over Heterogeneous Networks (PhD Thesis)}, Palazzi, C.E., April 2006.
%\item[2006-11] {\em Interoperability of Annotation Languages in Semantic
%  Web Applications Design (PhD Thesis)}, Presutti, V., April 2006.
%\item[2006-12] {\em Advanced Machine Learning Techniques for Digital
%  Mammography (PhD Thesis)}, Roffilli, M., April 2006.
%%%\item[2006-13] {\em Modular Algorithms for Component Replication
%  (PhD Thesis)},  Vuckovic, J., April 2006.
%\item[2006-14] {\em Performative Patterns for Designing Verifiable ACLs},
%  Dragoni, N., Gaspari, M., April 2006.
%\item[2006-15] {\em Towards Flexible Information Systems: Bridging the Gap
%  Between Theory and Practice}, Magnani, M., Montesi, D., May 2006.
%\item[2006-16] {\em Improving the Selection of Close-Native Protein
%  Structures in Decoy Sets Using a Graph Theory-Based Approach},
%  Casadio, R., Fariselli, P., Margara, L., Medri, F., Vassura, M., May 2006.
%\item[2006-17] {\em A Secure Peer Sampling Service as a "Hub attack"
%  Countermeasure}, Jesi, G. P., Gavidia, D., Gamage, C., van Steen, M., May
%  2006.
%\item[2006-18] {\em Modified Realizability and Inductive Types}, Asperti,
%  A., Tassi, E., June 2006.
%\item[2006-19] {\em Towards Automatic Social Bootstrapping of Peer-to-Peer
%  Protocols}, Hales, D., Babaoglu, O., June 2006.
%\item[2006-20] {\em SOCK: a calculus for service oriented computing},
%  Guidi, C., Lucchi, R., Zavattaro, G., Busi, N., Gorrieri, R., June 2006.
%\item[2006-21] {\em Evolving Networks for Social Optima in the "Weakest
%  Link Game"}, Rossi, G., Arteconi, S., Hales, D., July 2006.
%\item[2006-22] {\em Broadcasting at the Critical Threshold},
%  Arteconi, S., Hales, D., Babaoglu, O., October 2006.
%\item[2006-23] {\em Emergent Social Rationality in a Peer-to-Peer System},
%  Marcozzi, A., Hales, D., October 2006.
%\item[2006-24] {\em Reconstruction of the Protein Structures from Contact
%  Maps}, Margara, L., Vassura, M., di Lena, P., Medri, F., Fariselli, P.,
%  Casadio, R., October 2006.
%\item[2006-25] {\em  Lambda Types on the Lambda Calculus with
%  Abbreviations}, Guidi, F., November 2006.
%\item[2006-26] {\em FirmNet: The Scope of Firms and the Allocation of
%  Task in a Knowledge-Based Economy}, Mollona, E., Marcozzi, A. November 2006.
%\item[2006-27] {\em Behavioral Coalition Structure Generation},
%  Rossi, G., November 2006.
%\item[2006-28] {\em On the Solution of Cooperative Games},
%  Rossi, G., December 2006.
%\item[2006-29] {\em Motifs in Evolving Cooperative Networks Look Like
%  Protein Structure Networks}, Hales, D., Arteconi, S., December 2006.
%\item[2007-01] {\em Extending the Choquet Integral}, Rossi, G., January 2007.
%\item[2007-02] {\em Towards Cooperative, Self-Organised Replica Management},
%  Hales, D., Marcozzi, A., Cortese, G., February 2007.
%\item[2007-03]	{\em A Model and an Algebra for Semi-Structured
%  and Full-Text Queries (PhD Thesis)}, Buratti, G., March 2007.
%\item[2007-04]	{\em Data and Behavioral Contracts for Web Services (PhD
%  Thesis)}, Carpineti, S., March 2007.
%\item[2007-05]	{\em Pattern-Based Segmentation of Digital Documents: Model
%  and Implementation (PhD Thesis)}, Di Iorio, A., March 2007.
%\item[2007-06]	{\em A Communication Infrastructure to Support Knowledge
%  Level Agents on the Web (PhD Thesis)}, Guidi, D., March 2007.
%\item[2007-07]	{\em Formalizing Languages for Service Oriented Computing
%  (PhD Thesis)},  Guidi, C., March 2007.
%\item[2007-08]	{\em Secure Gossiping Techniques and Components (PhD
%  Thesis)}, Jesi, G., March 2007.
%\item[2007-09]	{\em Rich Media Content Adaptation in E-Learning Systems
%  (PhD Thesis)}, Mirri, S., March 2007.
%\item[2007-10]	{\em User Interaction Widgets for Interactive Theorem
%  Proving (PhD Thesis)}, Zacchiroli, S., March 2007.
%\item[2007-11]	{\em An Ontology-based Approach to Define and Manage B2B
%  Interoperability (PhD Thesis)}, Gessa, N., March 2007.
%\item[2007-12]	{\em Decidable and Computational Properties of Cellular
%  Automata (PhD Thesis)}, Di Lena, P., March 2007.
%\item[2007-13]	{\em Patterns for Descriptive Documents: a Formal Analysis},
%  Dattolo, A., Di Iorio, A.,  Duca, S.,  Feliziani, A. A.,  Vitali, F.,
%  April 2007.
%\item[2007-14]	{\em BPM + DM = BPDM}, Magnani, M., Montesi, D., May 2007.
%\item[2007-15]	{\em A Study on Company Name Matching for Database
%  Integration}, Magnani, M., Montesi, D., May 2007.
%\item[2007-16]	{\em Fault Tolerance for Large Scale Protein 3D
%  Reconstruction from Contact Maps}, Vassura, M., Margara, L., di Lena, P.,
%  Medri, F., Fariselli, P., Casadio, R., May 2007.
%\item[2007-17]	{\em Computing the Cost of BPMN Diagrams}, Magnani, M.,
%  Montesi, D., June 2007.
%\item[2007-18]	{\em Expressing Priorities, External Probabilities and
%  Time in Process Algebra via Mixed Open/Closed Systems}, Bravetti, M.,
%  June 2007.
%\item[2007-19] {\em Design and Evaluation of a Wide-Area Distributed
%  Shared Memory Middleware}, Mazzucco, M., Morgan, G., Panzieri, F.,
%  July 2007.
%\item[2007-20] {\em An Object-based Fault-Tolerant Distributed Shared
%  Memory Middleware}, Lodi, G., Ghini, V., Panzieri, F., Carloni, F.,
%  July 2007.
%\item[2007-21] {\em Templating Wiki Content for Fun and Profit},
%  Di Iorio, A., Zacchiroli, S., Vitali, F., August 2007.
%\item[2007-22] {\em EPML: Executable Process Modeling Language},
%  Rossi, D., Turrini, E., September 2007.
%\item[2007-23] {\em Stream Processing of XML Documents Made Easy with
%  LALR(1) Parser Generators}, Padovani, L., Zacchiroli, S., September 2007.
%\item[2007-24] {\em On the origins of Bisimulation, Coinduction, and Fixed
%  Points}, Sangiorgi, D., October 2007.
%\item[2007-25] {\em Towards a Group Selection Design Patterns},
%  Hales, D., Arteconi, S., Marcozzi, A., Chao, I., November 2007.
%\item[2008-01] {\em Modelling decision making in fund raising management
%  by a fuzzy knowledge system}, Barzanti, L., Gaspari, M., Saletti, D.,
%  February 2008..
%\item[2008-02] {\em Automatic Code Generation: From Process Algebraic
%  Architectural Descriptions to Multithreaded Java Programs (Ph.D. Thesis)},
%  Bont\'a, E., March 2008.
%\item[2008-03] {\em Interactive Theorem Provers: Issues Faced as a User and
%  Tackled as a Developer (Ph.D. Thesis)}, Tassi, E., March 2008.
%\item[2008-04] {\em Constraint Handling Rules Compositional Semantics
%  and Program Transformation (Ph.D. Thesis)}, Tacchella, P., March 2008.
%\item[2008-05] {\em Evolutionary Methods for Self-Organizing Cooperation in
%  Peer-to-Peer Networks (Ph.D. Thesis)}, Arteconi, S., March 2008.
%\item[2008-06] {\em Knowledge Management in Intelligent Tutoring Systems
%  (Ph.D. Thesis)}, Riccucci, S., March 2008.
%\item[2008-07] {\em  A Tuple Space Implementation for Large-Scale
%  Infrastructures (Ph.D. Thesis)}, Capizzi, S., March 2008.
%\item[2008-08] {\em  Cross-Layer Optimizations in Multi-Hop Ad Hoc Networks
%  (Ph.D. Thesis)}, di Felice, M., March 2008.
%\item[2008-09] {\em  CoopNet: an Agent-based Model to Explore Knowledge
%  Integration and Free Riding in Large}, Mollona, E., Jesi, G. P., March 2008.
%\item[2008-10] {\em  Expressiveness of multiple heads in CHR},
%  Di Giusto, C., Gabbrielli, M., Meo, M.C., April 2008.
%\item[2008-11] {\em  Programming service oriented applications},
%  Guidi, C., Lucchi, R., June 2008.
%\item[2008-12] {\em  A Foundational Theory of Contracts for Multi-party
%  Service Composition}, Bravetti, M., Zavattaro, G., June 2008.
%\item[2008-13] {\em  A Theory of Contracts for Strong Service Compliance},
%  Bravetti, M., Zavattaro, G., June 2008.
%\item[2008-14] {\em  A Uniform Approach for Expressing and Axiomatizing
%  Maximal Progress and Different Kinds of Time in Process Algebra},
%  Bravetti, M., Gorrieri, R., June 2008.
%\item[2008-15] {\em  On the Expressive Power of Process Interruption and
%  Compensation}, Bravetti, M., Zavattaro, G., June 2008.
%\item[2008-16] {\em  Stochastic Semantics in the Presence of Structural
%  Congruence: Reduction Semantics for Stochastic Pi-Calculus},
%  Bravetti, M., July 2008.
%\item[2008-17] {\em  Measures of conflict and power in strategic settings},
%  Rossi, G., October 2008.
\item[2008-18] {\em  Lebesgue's Dominated Convergence Theorem in Bishop's
  Style}, Sacerdoti Coen, C., Zoli, E., November 2008.
\item[2009-01] {\em A Note on Basic Implication}, Guidi, F., January 2009.
\item[2009-02] {\em Algorithms for network design and routing problems
  (Ph.D. Thesis)}, Bartolini, E., February 2009.
\item[2009-03] {\em Design and Performance Evaluation of Network on-Chip
  Communication Protocols and Architectures (Ph.D. Thesis)}, Concer, N.,
  February 2009.
\item[2009-04] {\em Kernel Methods for Tree Structured Data
  (Ph.D. Thesis)}, Da San Martino, G., February 2009.
\item[2009-05] {\em Expressiveness of Concurrent Languages
  (Ph.D. Thesis)}, di Giusto, C., February 2009.
\item[2009-06] {\em EXAM-S: an Analysis tool for Multi-Domain Policy Sets
  (Ph.D. Thesis)}, Ferrini, R., February 2009.
\item[2009-07] {\em Self-Organizing Mechanisms for Task Allocation in a
  Knowledge-Based Economy (Ph.D. Thesis)}, Marcozzi, A., February 2009.
\item[2009-08] {\em 3-Dimensional Protein Reconstruction from Contact Maps:
  Complexity and Experimental Results (Ph.D. Thesis)}, Medri, F.,
  February 2009.
\item[2009-09] {\em A core calculus for the analysis and implementation of
  biologically inspired languages (Ph.D. Thesis)}, Versari, C., February 2009.
\item[2009-10] {\em Probabilistic Data Integration}, Magnani, M.,
  Montesi, D., March 2009.
\item[2009-11] {\em Equilibrium Selection via Strategy Restriction
  in Multi-Stage Congestion Games for Real-time Streaming},
  Rossi, G., Ferretti, S., D'Angelo, G., April 2009.
\item[2009-12] {\em Natural deduction environment for Matita\/}, C.
  Sacerdoti Coen, E. Tassi, June 2009.
\item[2009-13] {\em Hints in Unification\/}, Asperti, A., Ricciotti, W.,
  Sacerdoti Coen, C., Tassi, E., June 2009.
\item[2009-14] {\em A New Type for Tactics\/}, Asperti, A., Ricciotti, W.,
  Sacerdoti Coen, C., Tassi, E., June 2009.
\item[2009-15] {\em The k-Lattice: Decidability Boundaries for Qualitative
  Analysis in Biological Languages\/}, Delzanno, G., Di Giusto, C.,
  Gabbrielli, M., Laneve, C., Zavattaro, G., June 2009.
\item[2009-16] {\em Landau's "Grundlagen der Analysis" from Automath to
  lambda-delta}, Guidi, F., September 2009.
\item[2010-01] {\em Fast overlapping of protein contact maps by
  alignment of eigenvectors}, Di Lena, P., Fariselli, P., Margara, L.,
  Vassura, M., Casadio, R., January 2010.
\item[2010-02] {\em Optimized Training of Support Vector Machines on the
  Cell Processor}, Marzolla, M., February 2010.
\item[2010-03] {\em Modeling Self-Organizing, Faulty Peer-to-Peer Systems as
  Complex Networks} Ferretti, S., February 2010.
\item[2010-04] {\em The qnetworks Toolbox: A Software Package for Queueing
  Networks Analysis}, Marzolla, M., February 2010.
\item[2010-05] {\em QoS Analysis for Web Service Applications: a Survey of
  Performance-oriented Approaches from an Architectural Viewpoint},
  Marzolla, M., Mirandola, R., February 2010.
\item[2010-06] {\em The dark side of the board: advances in Kriegspiel Chess
 (Ph.D. Thesis)}, Favini, G.P., March 2010.
%\item[2010-07] {\em Higher-Order Concurrency: Expressiveness and
%  Decidability Results (Ph.D. Thesis)}, Perez Parra, J.A., March 2010.
%\item[2010-08] {\em Machine learning methods for prediction of disulphide
%  bonding states of cysteine residues in proteins (Ph.D. Thesis)},
%  Shukla, P., March 2010.
%\item[2010-09] {\em Expressiveness in biologically inspired languages
%  (Ph.D. Thesis)}, Vitale, A., March 2010.

\end{enumerate}
}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
